3 ,
2 ,
2 ,
2
The Hecke algebra for the Symmetric Group
on 9 Letters, with the Partition
[ 3, 2, 2, 2 ]
in characteristic 2
.
The Module M
The module M is the permutation module over the prime
field of chacteristic 2, having point stablilizer
equal to the Young subgroup of the partition.
The dimension of M is 7560
.
The dimensions of the irreducible submodules modules are
160,
78,
48,
40,
26,
16,
8,
1
.
The module M has radical filtration (Loewy series)
1,
1,
1,
2,
2,
2,
2,
2,
3,
3,
3,
3,
3,
3,
3,
4,
5,
5,
5,
5,
5,
7,
7,
7,
8
1,
1,
1,
1,
1,
3,
5,
6,
6,
6,
6,
6,
6,
7,
7,
7,
7,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8
1,
2,
2,
2,
2,
3,
3,
3,
4,
4,
4,
4,
4,
4,
5,
5,
5,
5,
5,
5,
5,
5,
5,
5,
7,
7,
7,
7,
7,
8,
8,
8,
8,
8
3,
3,
4,
4,
4,
5,
5,
5,
5,
6,
6,
6,
6,
6,
6,
7,
7,
7,
7,
8,
8,
8,
8,
8,
8
1,
1,
1,
2,
2,
2,
2,
2,
3,
4,
5,
6,
6,
6,
7,
7,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8
1,
1,
2,
2,
2,
5,
5,
5,
5,
5,
6,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8
2,
4,
4,
4,
4,
4,
4,
4,
4,
5,
5,
5,
5,
5,
5,
5,
5,
5,
5,
8
4,
5,
6,
6,
6,
6,
6,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8
2,
2,
2,
2,
2,
4,
5,
5,
6,
8,
8,
8,
8,
8
5,
5,
5,
8,
8,
8,
8
2,
4,
4,
4
8,
8
2,
2
The module M has socle filtration (socle series)
2,
2
8,
8
2,
4,
4,
4
5,
5,
5,
8,
8,
8,
8
2,
2,
2,
2,
2,
4,
5,
5,
6,
8,
8,
8,
8,
8
4,
5,
6,
6,
6,
6,
6,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8
2,
4,
4,
4,
4,
4,
4,
4,
4,
5,
5,
5,
5,
5,
5,
5,
5,
5,
5,
8
1,
1,
2,
2,
2,
5,
5,
5,
5,
5,
6,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8
1,
1,
1,
2,
2,
2,
2,
2,
3,
4,
5,
6,
6,
6,
7,
7,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8
3,
3,
4,
4,
4,
5,
5,
5,
5,
6,
6,
6,
6,
6,
6,
7,
7,
7,
7,
8,
8,
8,
8,
8,
8
1,
2,
2,
2,
2,
3,
3,
3,
4,
4,
4,
4,
4,
4,
5,
5,
5,
5,
5,
5,
5,
5,
5,
5,
7,
7,
7,
7,
7,
8,
8,
8,
8,
8
1,
1,
1,
1,
1,
3,
5,
6,
6,
6,
6,
6,
6,
7,
7,
7,
7,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8
1,
1,
1,
2,
2,
2,
2,
2,
3,
3,
3,
3,
3,
3,
3,
4,
5,
5,
5,
5,
5,
7,
7,
7,
8
The module M has simple direct summands:
6 copies of simple module number 3
The remaining indecomposable components of M
have radical and socle filtrations as follows:
1).
radical layers
7
1
7
socle layers
7
1
7
2).
radical layers
7
1
7
socle layers
7
1
7
3).
radical layers
7
1
7
socle layers
7
1
7
4).
radical layers
1
1,
7
3,
7
3,
7
1,
7
1
socle layers
1
1,
7
3,
7
3,
7
1,
7
1
5).
radical layers
1
1,
7
3,
7
3,
7
1,
7
1
socle layers
1
1,
7
3,
7
3,
7
1,
7
1
6).
radical layers
1,
3
3,
7,
7
1,
3
7,
7
1,
3
socle layers
1,
3
7,
7
1,
3
3,
7,
7
1,
3
7).
radical layers
2,
5
6,
8,
8
4,
5,
5
6,
8
2,
8
5,
8
4
8
2
socle layers
2
8
4
5,
8
2,
8
6,
8
4,
5,
5
6,
8,
8
2,
5
8).
radical layers
2,
5
6,
8,
8
4,
5,
5
6,
8
2,
8
5,
8
4
8
2
socle layers
2
8
4
5,
8
2,
8
6,
8
4,
5,
5
6,
8,
8
2,
5
9).
radical layers
2
8
4,
5
6,
8
2,
8
5,
8
4,
5
6,
8,
8
2,
5
8
4
8
2
socle layers
2
8
4
8
2,
5
6,
8,
8
4,
5
5,
8
2,
8
6,
8
4,
5
8
2
10).
radical layers
5
6,
8
2,
5,
8
4,
5
6,
8,
8
2,
8,
8
4,
5,
5
6,
8
8
5
socle layers
5
8
6,
8
4,
5,
5
2,
8,
8
6,
8,
8
4,
5
2,
5,
8
6,
8
5
11).
radical layers
5
6,
8
2,
5,
8
4,
5
6,
8,
8
2,
8,
8
4,
5,
5
6,
8
8
5
socle layers
5
8
6,
8
4,
5,
5
2,
8,
8
6,
8,
8
4,
5
2,
5,
8
6,
8
5
12).
radical layers
5
6,
8
2,
5,
8
4,
5
6,
8,
8
2,
8,
8
4,
5,
5
6,
8
8
5
socle layers
5
8
6,
8
4,
5,
5
2,
8,
8
6,
8,
8
4,
5
2,
5,
8
6,
8
5
13).
radical layers
2
8
4,
5
6,
8
2,
8
5,
8
4,
5
6,
8,
8
2,
5
8
4
8
2
socle layers
2
8
4
8
2,
5
6,
8,
8
4,
5
5,
8
2,
8
6,
8
4,
5
8
2
14).
radical layers
2,
4,
8
5,
6,
8,
8
2,
4,
4,
5,
8,
8
5,
6,
6,
8,
8
2,
4,
5,
8,
8
5,
6,
8,
8,
8,
8
2,
4,
5,
5,
8
4,
5,
8,
8
2,
4,
6,
8,
8
8,
8
2,
4
socle layers
2,
4
8,
8
2,
4,
6,
8,
8
4,
5,
8,
8
2,
4,
5,
5,
8
5,
6,
8,
8,
8,
8
2,
4,
5,
8,
8
5,
6,
6,
8,
8
2,
4,
4,
5,
8,
8
5,
6,
8,
8
2,
4,
8
The Action Algebra
The action algebra A is the image of kG in the
k-endomorphism ring of M. It's simple modules are the irreducible
submodules of M.
The dimensions of the projective modules are
768,
576,
536,
681,
910,
561,
824,
1739
.
The cartan matrix of A is
4,
0,
2,
0,
0,
0,
4,
0
0,
4,
0,
3,
4,
2,
0,
8
2,
0,
4,
0,
0,
0,
3,
0
0,
3,
0,
6,
5,
4,
0,
13
0,
4,
0,
5,
11,
6,
0,
16
0,
2,
0,
4,
6,
5,
0,
9
4,
0,
3,
0,
0,
0,
5,
0
0,
8,
0,
13,
16,
9,
0,
35
The determinant of the Cartan matrix is 528.
The blocks of A consist of the following irreducible
modules:
(1).
1,
3,
7
(2).
2,
4,
5,
6,
8
The radical and socle filtrations of the projective
modules for A are the following:
Projective module number 1
radical layers
1
1,
7
3,
7
3,
7
1,
7
1
socle layers
1
1,
7
3,
7
3,
7
1,
7
1
Projective module number 2
radical layers
2
8
4,
5
6,
8
2,
8
5,
8
4,
5
6,
8,
8
2,
5
8
4
8
2
socle layers
2
8
4
8
2,
5
6,
8,
8
4,
5
5,
8
2,
8
6,
8
4,
5
8
2
Projective module number 3
radical layers
3
3,
3,
7
1,
7
1,
7
3
socle layers
3
7
1,
3
3,
7,
7
1,
3
Projective module number 4
radical layers
4
6,
8
2,
4,
8
5,
6,
8
4,
5,
8
6,
8,
8,
8
2,
5,
5,
8
4,
5,
8
4,
6,
8,
8
8,
8
2,
4
socle layers
4
8
2,
6,
8
4,
5,
8
4,
5,
8
6,
8,
8,
8
2,
5,
8
5,
6,
8
4,
4,
5,
8
6,
8,
8
2,
4,
8
Projective module number 5
radical layers
5
5,
6,
8
2,
5,
6,
8,
8
4,
5,
5,
5,
8
4,
5,
6,
6,
8,
8,
8
2,
5,
6,
8,
8,
8,
8,
8
2,
4,
4,
5,
5,
8
4,
6,
8,
8
2,
8
5
socle layers
5
8
6,
8
4,
5,
5,
5
2,
5,
6,
8,
8,
8
5,
6,
8,
8,
8,
8
4,
5,
5,
6,
8
2,
4,
4,
5,
5,
8,
8
6,
6,
8,
8,
8,
8
2,
2,
4,
5
Projective module number 6
radical layers
6
4,
5
5,
6,
8
2,
4,
6,
8,
8
5,
5,
6,
8
4,
5,
8
6,
8,
8,
8
2,
5,
8
4
socle layers
6
4,
5
5,
8
6,
8,
8
5,
6,
8
4,
5,
5
2,
4,
8,
8
6,
6,
8,
8,
8
2,
4,
5
Projective module number 7
radical layers
7
1,
3,
7
1,
3,
7,
7
1,
3,
7
1
socle layers
7
3,
7
1,
3,
7
1,
7,
7
1,
1,
3
Projective module number 8
radical layers
8
2,
4,
5,
8
4,
5,
5,
6,
8,
8,
8
2,
4,
5,
6,
6,
8,
8,
8,
8,
8
2,
4,
5,
5,
5,
6,
8,
8,
8,
8,
8,
8
2,
4,
4,
4,
5,
5,
5,
5,
5,
6,
8,
8,
8
4,
5,
6,
6,
6,
8,
8,
8,
8,
8,
8,
8
2,
2,
4,
5,
5,
6,
8,
8,
8,
8,
8
4,
4,
5,
8,
8,
8
2,
4,
4
8
2
socle layers
8
4
8
2,
2,
5,
8
5,
6,
8,
8,
8
4,
4,
4,
5,
5,
5,
8,
8
5,
6,
6,
8,
8,
8,
8,
8,
8,
8
2,
2,
5,
5,
6,
8,
8,
8,
8
4,
4,
5,
5,
5,
5,
6,
8,
8
2,
4,
4,
4,
4,
5,
5,
8,
8,
8,
8,
8
6,
6,
6,
6,
8,
8,
8,
8,
8,
8,
8,
8
2,
2,
2,
4,
4,
4,
5,
5,
8
The degrees of the splitting fields are
1,
1,
1,
1,
1,
1,
1,
1
.
<\HTML><\BODY>